This book constitutes the proceedings of the 26th International Conference on Collaboration Technologies and Social Computing, ...
Lire la suiteRather than focusing on the language as a whole, this guide teaches Rust using a single small, complete, focused program ...
Lire la suiteThis book illustrates the benefits to be gained from digitally networked communication for health, education and transitioning ...
Lire la suiteillustrates the benefits to be gained from digitally networked communication for health, education and transitioning economies ...
Lire la suiteThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lire la suiteThe two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...
Lire la suiteThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suiteThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Lire la suiteThis volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...
Lire la suiteThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Lire la suiteThis book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThe IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
Lire la suiteThis book constitutes the refereed post-conference proceedings of the 15th CCF Conference on Computer Supported Cooperative ...
Lire la suiteThis book constitutes the refereed proceedings of the International Conference on Computer Vision and Graphics, ICCVG 2020, ...
Lire la suiteThis book constitutes revised selected papers of the Second International Conference on Computing Science, Communication ...
Lire la suiteThis book constitutes revised selected papers of the First International Conference on Computing Science, Communication and ...
Lire la suiteThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
Lire la suiteThis book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Conference on Cryptology and Network Security, CANS ...
Lire la suite